Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

正规基上的快速乘逆算法

根据有限域GF(2~m)上的正规基表示,本文提出一种新的快速乘逆算法。该算法把计算乘逆的复杂忭从O(m)降低到O(1/m)。     

带充液腔的自旋卫星稳定性问题

本文应用Pfeiffer的思想讨论带轴对称充液腔的卫星系统自旋稳定性。本方法的基本思想为将轴对称腔内的液体旋度平均化,使之与空间位置无关,由此将液体的无限自由度问题离散化为有限自由度问题,从而用线性理论讨论系统的自旋稳定性。用这方法,本文讨论了带充液腔的非轴对称卫星系统、带充液腔的双自旋卫星系统的自旋稳定性,给出了它们的自旋稳定性判据。此外,本文还给出了一些带有不同形状腔体的卫星系统自旋稳定域图,为实际工程设计人员提供理论参考。     

中低轨道卫星星座间的激光链路

阐述在中低轨道卫星星座全球通讯网络中应用的激光星间链路与在中继星间应用的激光星间链路相比，所具有的明显的优势。同时给出了应用于小卫星上的小光学用户终端的基本组成，并指出了当前在中低轨道卫星星座激光星间链路研究中所应当进行的主要研究方面。     

空间站大型伸展机构的运动稳定性分析

从空间站大型伸展机构的运动特点和系统动力学方程出发，着重分析了该系统的稳定性判据。这一问题又可分为五个方面：姿态-伸展-振动耦合系统的分析方法，复杂大系统的分解集结方法，时滞系统和滞后系统的稳定性问题，Stick-Ship运动对系统对系统稳定性的影响，非线性非定常系数稳定性的一般解。其中还对接触、摩擦、碰撞问题，变拓扑系统，非光滑动力学系统等进行了专门的研究，分析了Lyapunov指数方法在这些特殊系统中的适应性。本文对空间站大型伸展机构的稳定性问题进行了较全面的分析，指出了目前在处理这类复杂大系统时存在的一些难点问题，为其设计和研制工作提出了理论基础。     

城市车辆监控调度系统中的移动通信中间件

针对城市车辆监控调度系统设计中业务功能增加与通信手段扩展的难点 ,通过设计合适的移动通信中间件来屏蔽底层通信网络的复杂性 ,为监控调度业务提供一个支撑环境 ,使不同类别的移动网络对应用开发者来说就象一个无缝的通信系统 ,对应用的差别只是 Qo S的变化     

串口通信实现实时数据高速采集

本文介绍了在Windows平台下串行通信的实现方法,讨论了用Visual C 提供的串行通信控件Mi-crosoft Communications Control处理利用多媒体定时器定时发送指令的数据通信处理方法,实现对三维物体扫描仪的扫描数据进行实时采集。     

卫星ATM网络中跨层设计的星上缓存管理优化方案

为提高卫星ATM(异步传递方式)网络星上缓存资源的利用率,针对利用上层协议重传的非实时数据业务,采用跨层设计方法提出了一种缓存管理优化方案—错误信元尾丢弃(ECTD)。它把信道误码引起的错误信元及后续的属于同一协议数据单元的无效信元丢弃。以早分组丢弃为基础,进一步建立了采用ECTD和不采用ECTD的分析有效吞吐量的数学模型。数值分析结果表明,ECTD具有优化缓存管理、提高有效吞吐量的作用,而且信元错误率和协议数据单元的长度越大,ECTD对有效吞吐量的改善就越明显。     

位移序列多进制扩频通信方式

提出用 m序列的位移序列做扩频序列的多进制扩频通信方式 ,并给出了它的系统模型 ,分析了它的通信性能。理论分析证明 ,用 m序列的位移序列构成的多进制扩频通信方式具有很高的通信有效性和通信可靠性     

深空探测通信技术发展趋势及思考

阐述了深空探测通信的重要地位和意义，就深空探测通信中的主要问题和特点开展论述，分析了深空探测通信的国内外研究现状。提出了利用地球静止轨道卫星编队的方法构建我国自主的天基连续测控和通信系统的构想，并以月球为中继、利用地月系统内的拉格朗日点开展深空探测。建议当前开展深空探测通信中星际互联网络体系结构、高效信道编码技术和空间协议研究的构想。